Model checking agent programming languages
نویسندگان
چکیده
منابع مشابه
Programming autonomous robots using agent programming languages
This research aims at identifying and addressing BDI-based agent programming languages requirements for programming autonomous robots. Four requirements are discussed and the current state of this research in addressing these requirements is presented. The requirements are: 1Builtin support for integration with existing robotic frameworks such as ROS, 2Real-time reactivity to events, 3Managemen...
متن کاملLogic and Agent Programming Languages
Agent programming languages based on the Belief, Desire and Intentions (BDI) framework present some interesting challenges for logicians. While BDI logics have been studied extensively, problems related to belief update and analysis of plans in BDI agent programming languages have received less attention.
متن کاملArchitecture for Agent Programming Languages
As the field of agent-based systems continues to expand rapidly, one of the most significant problems lies in being able to compare and evaluate the relative benefits and disadvantages of different systems. In part, this is due to the various different ways in which these systems are presented. One solution is to develop a set of architectural building blocks that can be used as a basis for fur...
متن کاملA model of contingent planning for agent programming languages
In this paper, we develop a formal model of planning for an agent that is operating in a dynamic and incompletely known environment. We assume that both the agent’s task and the behavior of the agents in the environment are expressed as high-level nondeterministic concurrent programs in some agent programming language (APL). In this context, planning must produce a deterministic conditional pla...
متن کاملModel Checking Agent Dialogues
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We define a lightweight protocol language which can express a wide range of dialogue types, and we use the SPIN mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automated Software Engineering
سال: 2011
ISSN: 0928-8910,1573-7535
DOI: 10.1007/s10515-011-0088-x